package productions;

import exceptions.ParserException;
import lexico.ErrorTable;
import lexico.SymbolTable;
import lexico.TokenClass;

/**
 * @author heekinho
 */
public class SeProduction extends AbstractProductionRule {
    /* Muitos dos métodos irão precisar de algo assim: */

    private static SeProduction instance = new SeProduction();

    public static SeProduction getInstance() {
        return instance;
    }

    /**
     * Regra: se : 'se' '(' expr ')' 'entao' bloco ('senao' bloco)?;
     * @return
     * @throws ParserException
     */
    @Override
    public boolean analyze(SymbolTable st, ErrorTable et) throws ParserException {
        if (!basicParse(st, TokenClass.KEYWORD_SE)) {
            return false;
        }
        if (!basicParse(st, TokenClass.DELIMITER_OPENING_PARENTHESIS)) {
            return skipUntilSynchronize(st, et, "Era esperado um '('");
        }
        if (!ExprProduction.getInstance().analyze(st, et)) {
            return skipUntilSynchronize(st, et, "Era esperado uma expressão");
        }
        if (!basicParse(st, TokenClass.DELIMITER_CLOSING_PARENTHESIS)) {
            return skipUntilSynchronize(st, et, "Era esperado um ')'");
        }
        if (!basicParse(st, TokenClass.KEYWORD_ENTAO)) {
            return skipUntilSynchronize(st, et, "Era esperado a palavra reservada então");
        }
        if (!BlocoProduction.getInstance().analyze(st, et)) {
            return skipUntilSynchronize(st, et, "Era esperado um '{'");
        }

        if (basicParse(st, TokenClass.KEYWORD_SENAO)) {
            if (!BlocoProduction.getInstance().analyze(st, et)) {
                return skipUntilSynchronize(st, et, "Era esperado um '{'");
            }
        }

        return true;
    }

    @Override
    protected void populateFirst() {
        first.add(TokenClass.KEYWORD_SE);
    }

    @Override
    protected void populateFollow() {
        //from comandos follow
        follow.add(TokenClass.DELIMITER_CLOSING_CURLY_BRACKET);
    }

}
